Some Extensions of the Logic psUL
نویسندگان
چکیده
Based on Lambek calculus and residuated lattices, psUL has been proposed by Metcalfe, Olivetti and Gabbay as a non-commutative version of the uninorm logic UL, but until recently the corresponding research has been lacking. The present paper mainly surveys the schematic extensions of psUL as well as the relation between non-commutative logics having been studied based on pseudo-t-norm. In particular, using a diagram, we display the features and connections between these logics.
منابع مشابه
On the compactness property of extensions of first-order G"{o}del logic
We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-orde...
متن کاملEquality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملSome Properties of Ideal Extensions in Ternary Semigroups
A concept of ideal extensions in ternary semigroups is introduced and throughly investigated. The connection between an ideal extensions and semilattice congruences in ternary semigroups is considered.
متن کاملSome new extensions of Hardy`s inequality
In this study, by a non-negative homogeneous kernel k we prove some extensions of Hardy's inequalityin two and three dimensions
متن کامل